syllabus discussion of theory of machine